نمایش بولی bck-جبرهای کراندار

پایان نامه
  • وزارت علوم، تحقیقات و فناوری - دانشگاه شهید چمران اهواز - دانشکده علوم ریاضی و مهندسی کامپیوتر
  • نویسنده سارا تقوافر
  • استاد راهنما حبیب حریزاوی جمال هاشمی
  • تعداد صفحات: ۱۵ صفحه ی اول
  • سال انتشار 1393
چکیده

چکیده : در این پایان نامه ، مرکز بولی و ساختار بولی از bck- جبرهای کراندار را تعریف نموده و توسط ساختار بولی، نمایشی از bck- جبرهای کراندار که نمایش پیرسbck(ضعیف) به عنوان حاصل ضرب بولی bck- جبرهای کراندار نامیده می شوند را ارائه می دهیم . همچنین رده هایی که ساقه هایشان در این نمایش ها مستقیماً یا زیر مستقیماً تحویا ناپذیر و یا جبرهای ساده هستند را تجزیه و تحلیل می نامییم و برای روشن ساختن نتایج ، تعدادی مصال از جبرها و زیر واریته های نسبی از bck- جبرهای کراندار را ارائه می دهیم.

۱۵ صفحه ی اول

برای دانلود 15 صفحه اول باید عضویت طلایی داشته باشید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

رویکرد جدیدی بر نمایش لم حقیقی کراندار در سیستمهای هم‌تراز

معیار لم حقیقی کراندار برای سیستمهای هم‌تراز در این مقاله مورد توجه قرار گرفته است، که در آن دو لم حقیقی کراندار بصورت وابسته به تاخیر بیان می‌شود. با بهره‌گیری از تئوری لیاپانوف، نمایشی از یک لم حقیقی کراندار بصورت وابسته به تاخیر ارائه می شود و با استفاده از تبدیل مدل توصیفی برای سیستم و بکارگیری یک تابع لیاپانوف-کراسوسکی جدید، یک لم حقیقی کراندار دیگری که نسبت به لم قبلی از محافظه‌کاری کمتری...

متن کامل

جبرهای bck

این پایان نامه در سه فصل تنظیم شده است : فصل اول ، مقدمه ای بر تئوری جبرهای bck . فصل دوم ، جبرهای bck فازی . فصل سوم ، روابط همنهشتی فازی.

15 صفحه اول

mv-جبرهای مغلوب بولی

mv-جبرهای مغلوب بولی تعمیم واضحی از mv-جبرهای ابرارشمیدسی است. در این پایان نامه با شناخت و معرفی mv-جبرهای خاص مانند mv-جبرهای موضعا متناهی، موضعی، کامل و ابرارشمیدسی گامی در جهت شناخت mv-جبرهای مغلوب بولی برداشته است و رابطه آنها را با mv-جبرهای مغلوب بولی در قضایایی بیان کرده است. نتایج مهم این پایاننامه درباره mv-جبرهای مغلوب بولی است.

15 صفحه اول

جبرهای bck جابجایی کامل ددکیند

در تئوری مجموعه ها ، یک راه برای ساختن یک مجموعه جدید از مجموعه های داده شده ، استفاده از برخی عملها می باشد . در بین اعمال مختلف ، سه عمل مقدماتی و پایه ای وجود دارد که عبارتند از اجتماع اشتراک و تفاضل دو مجموعه داده شده، با در نظر گرفتن سه عمل فوق و خواص آنها می توان سیستمهای جدیدی از قبیل جبرهای بولی را معرفی نمود. با استفاده از خواص اجتماع و اشتراک مجموعه ها در سال 1996 امی و ایزیکی جبرهای ...

شبه bck- جبرهای موضعی

این پایان نامه به بحث در مورد شبه bck-جبرهای شبه ضربی موضعی می پردازد. در این پایان نامه در فصل اول ابتدا تعاریف اولیه ای از ساختارهای مرتبط و سپس تعاریف و مثال هایی از bck-جبرهای کرندار و جابجایی آورده شده است و در ادامه تعاریف و ویژگی های شبه bck-جبرها و خاصیت شبه ضربی آن ها ارائه شده و سیستم های استنتاجی را معرفی نموده و خواص جدید سیستم های استنتاجی از شبه bck-جبر شبه ضربی ارائه نموده و مورد...

15 صفحه اول

$k$-جبرهای متناهی نمایش و $C^infty$-حلقه های متناهی مولد

.در این مقاله ابتدا به تبیین سیر تاریخی پیدایش توپولوژی زاریسکی روی حلقه های چندجمله ای های با ضرایب مختلط می پردازیم. سپس، برای حلقه جابجایی و یکدار مفروض $k$، قصد داریم یکی از ساختارهای موجود روی دوگان رسته $k$-جبرهای متناهی نمایش را که می تواند به روش مشابهی به رسته $L$، یعنی دوگان رسته ی همه ی $C^infty$-حافه های متناهی مولد تعمیم داده شود معرفی می کنیم. آن، سایت زاریسکی است..در این مقاله اب...

متن کامل

منابع من

با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ذخیره در منابع من قبلا به منابع من ذحیره شده

{@ msg_add @}


نوع سند: پایان نامه

وزارت علوم، تحقیقات و فناوری - دانشگاه شهید چمران اهواز - دانشکده علوم ریاضی و مهندسی کامپیوتر

میزبانی شده توسط پلتفرم ابری doprax.com

copyright © 2015-2023